$\vdash$  ($\lambda$$b$,$z$. $\uparrow$$b$) $\in$ $\mathbb{B}\rightarrow$($\downarrow$True)$\rightarrow\mathbb{P}_{1}$